Prof. Dr. Erich Grädel

Prof. Dr. Erich Grädel

Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Telefon: +49-241-80-21730
Fax: +49-241-80-22215
Büro: 4120 (E1) / Ahornstr. 55
E-Mail: graedel [AT] logic.rwth-aachen.de

Forschung

  • Provenance Analysis and Semiring Semantics for Logic and Games
  • Algorithmic Model Theory
  • Logic and Game Theory
  • Logic and Algorithms
  • Fixed-Point Logics
  • Logics for Dependence and Independence

Tätigkeiten

  • Mitherausgeber des Journals Logical Methods in Computer Science (seit 2004)
  • Herausgeber des Journals Mathematical Logic Quarterly (seit 2012)
  • Mitglied des Editorial Board des Journal of Logic and Computation (Corner Editor für Logic and Games, seit 2007).
  • Herausgeber des Journal of Symbolic Logic (2008 - 2013)
  • Chair des europäischen GAMES-Netzwerks (2002 – 2013)
  • Autor und Herausgeber von fünf Büchern

Aktuelle Publikationen

  • S. Brinke, A. Dawar, E. Grädel, and B. Pago. Preservation Theorems in Semiring Semantics. arXiv:2605.10829 [cs.LO], 2026.
  • S. Brinke, A. Dawar, E. Grädel, and B. Pago. Preservation Theorems in Semiring Semantics. In 53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026) (S. Bhattacharya, D. Nanongkai, M. Benedikt, and G. Puppis, Eds.), vol. 374 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 172:1–172:23, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026.
  • S. Brinke, A. Dawar, E. Grädel, L. Mrkonjić, and M. Naaf. Compactness in Semiring Semantics. In 34th EACSL Annual Conference on Computer Science Logic (CSL 2026) (S. Guerrini and B. König, Eds.), vol. 363 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 13:1–13:21, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026.
  • A. Dawar, E. Grädel, L. Kullmann, and B. Pago. Symmetric Proofs in the Ideal Proof System. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025) (P. Gawrychowski, F. Mazowiecki, and M. Skrzypczak, Eds.), vol. 345 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 40:1–40:18, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025.
  • A. Dawar, E. Grädel, L. Kullmann, and B. Pago. Symmetric Proofs in the Ideal Proof System. arXiv:2504.16820 [cs.LO], 2025.

Alle Publikationen

Ausgewählte Vorträge